Mathematical Programming

Results: 4310



#Item
701Control theory / Mathematical sciences / Optimal control / Systems engineering / Equations / Fluid queue / Markov chain / Dynamic programming / Economic model / Statistics / Mathematical optimization / Operations research

Questa_wireless12_conjecture_final.dvi

Add to Reading List

Source URL: verloop.perso.enseeiht.fr

Language: English - Date: 2011-10-08 11:46:13
702Dependently typed programming / Type theory / Predicate logic / Logic in computer science / Mathematical constructivism / Constructivism / Constructive proof / Coq / Proof theory / Mathematical logic / Logic / Programming language theory

Curriculum Vitae for Thierry Coquand Born, Jallieu (Is`ere, France) Education ´ • 1980 Ecole

Add to Reading List

Source URL: www.cse.chalmers.se

Language: English - Date: 2011-03-20 10:27:36
703Equations / Mathematical optimization / Halil Mete Soner / Cybernetics / Academia / Abstraction / Dynamic programming / Bellman equation / Control theory

DISS. ETH NOOPTIMAL CONSUMPTION AND INVESTMENT WITH POWER UTILITY A dissertation submitted to

Add to Reading List

Source URL: www.math.columbia.edu

Language: English - Date: 2011-07-12 11:26:33
704Mathematical optimization / Applied mathematics / Mathematics / Logic in computer science / Constraint programming / NP-complete problems / Theoretical computer science / Operations research / Tensor

Tensors and Optimization Ravi Kannan September 16, 2013 Ravi Kannan

Add to Reading List

Source URL: simons.berkeley.edu

Language: English - Date: 2014-03-13 13:08:11
705Abstract algebra / Subroutines / Mathematical structures / Cross-platform software / Procedural programming languages / C++ classes / Algebraic structure / Fold / Function / Software engineering / Algebra / Computing

The R language – a short companion This companion is essentially based on the documents „An Introduction to R“ and „R language definition“, both version 1.7.1, available on the R website http://www.r-project.or

Add to Reading List

Source URL: ftp.heanet.ie

Language: English - Date: 2003-07-17 05:02:27
706Mathematical optimization / Operations research / Brachytherapy / Prostate brachytherapy / Radiation treatment planning / Prostate cancer / Radiation therapy / Global optimization / Linear programming / Medicine / Radiation oncology / Medical physics

Optimization of HDR brachytherapy dose distributions using linear programming with penalty costs Ron Alterovitza兲 Department of Industrial Engineering and Operations Research, University of California, Berkeley, 4141 E

Add to Reading List

Source URL: www.ieor.berkeley.edu

Language: English - Date: 2007-01-18 03:03:30
707Trajectory optimization / Collision detection / Linear programming / Convex optimization / Quadratic programming / Constraint optimization / Penalty method / Motion planning / Optimal control / Mathematical optimization / Applied mathematics / Mathematical analysis

The International Journal of Robotics Research http://ijr.sagepub.com/ Motion planning with sequential convex optimization and convex collision checking John Schulman, Yan Duan, Jonathan Ho, Alex Lee, Ibrahim Awwal, Henr

Add to Reading List

Source URL: www.ieor.berkeley.edu

Language: English - Date: 2014-06-19 01:28:56
708Cybernetics / Robot control / Operations research / Estimation theory / Kalman filter / Optimal control / Trajectory optimization / Model predictive control / Dynamic programming / Mathematical optimization / Systems theory / Control theory

Scaling up Gaussian Belief Space Planning through Covariance-Free Trajectory Optimization and Automatic Differentiation Sachin Patil, Gregory Kahn, Michael Laskey, John Schulman, Ken Goldberg, Pieter Abbeel University of

Add to Reading List

Source URL: www.ieor.berkeley.edu

Language: English - Date: 2014-04-26 02:11:09
709Stability theory / Systems theory / Real algebraic geometry / Applied mathematics / Dynamical systems / Lyapunov function / Sum-of-squares optimization / Semidefinite programming / Lyapunov stability / Mathematics / Mathematical optimization / Operations research

Towards Scalable Algorithms with Formal Guarantees for Lyapunov Analysis of Control Systems via Algebraic Optimization (Tutorial paper for the 53rd IEEE Conference on Decision and Control) Amir Ali Ahmadi and Pablo A. Pa

Add to Reading List

Source URL: www.princeton.edu

Language: English - Date: 2014-09-21 01:20:26
710Abstract algebra / Subroutines / Mathematical structures / Cross-platform software / Procedural programming languages / C++ classes / Algebraic structure / Fold / Function / Software engineering / Algebra / Computing

PDF Document

Add to Reading List

Source URL: cran.mirror.ac.za

Language: English - Date: 2003-07-17 05:02:27
UPDATE